(foo.delete-package-redefpackage)
